首页> 外文OA文献 >Semantics, Orderings and Recursion in the Weakest Precondition Calculus

【2h】

Semantics, Orderings and Recursion in the Weakest Precondition Calculus

机译：最弱前置微积分中的语义，排序和递归

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Marcello Bonsangue Cwi; M. Bonsangue; J. Kok; Marcello Bonsangue; Joost N. Kok;
展开▼
作者单位

展开▼
年度 1993
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Instrumenting a weakest precondition calculus for counterexample generation [J] . Dailler Sylvain, Hauzar David, Marche Claude, Journal of Logic and Algebraic Programming . 2018,第OCTa期

机译：检测最弱的前提演算以生成反例
2. A weakest precondition calculus for BUnity [J] . L. Astefanoaei, F.S. de Boer, M. Dastani, Science of Computer Programming . 2013,第9期

机译：BUnity最弱的前提演算
3. Some Investigations on Deadlock Freedom Issues of a Cyclically Connected System Using Dijkstra's Weakest Precondition Calculus [J] . Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2007,第5期

机译：用Dijkstra最弱前提条件演算对循环连接系统的死锁自由问题的一些研究
4. Analyzing CAS protocol using weakest precondition semantics for the applied π-calculus [C] . Decai Jiao, David Sinclair China-Ireland International Conference on Information and Communications Technologies . 2007

机译：用施加π微积分的最弱预处理语义分析CAS协议
5. Overlapping and nonoverlapping orderings for preconditioning. [D] . Fritzsche, David. 2010

机译：预处理的重叠和不重叠顺序。
6. Revealing roles of competing local structural orderings in crystallization of polymorphic systems [O] . Minhuan Li, Yanshuang Chen, Hajime Tanaka, 2020

机译：揭示竞争性局部结构有序在多态系统结晶中的作用
7. Semantics, Orderings and Recursion in the Weakest Precondition Calculus [O] . M. Bonsangue, Marcello Bonsangue, Joost K. Kok, 1992

机译：最弱前置微积分中的语义，排序和递归
8. Semantics, Orderings and Recursion in the Weakest Precondition Calculus [R] . Bonsangue, M., Kok, J. N. 1992

机译：最弱前置微积分中的语义，排序和递归

Semantics, Orderings and Recursion in the Weakest Precondition Calculus

著录项

引文网络

相似文献

相关主题

期刊订阅